Hierarchical Specification of Reactive System Requirements
نویسندگان
چکیده
A methodology for the description of hierarchical system requirements and formal specifications is presented. We will specifically deal with the issues (1) hierarchical structure of system properties, (2) system requirements, (3) system specifications, (4) soundness and completeness, (5) synthesis of formal specificaitons.
منابع مشابه
Requirements Engineering Model in Designing Complex Systems
This research tends to development of the requirements elicitation methodology with regard to operational nature and hierarchical analysis for complex systems and also, regarding available technologies. This methodology applies Analytic Hierarchy Process (AHP) and Analytic Network Process (ANP) to ensure traceability of planned qualitative and quantitative data from requirements to available te...
متن کاملRequirements Engineering Model in Designing Complex Systems
This research tends to development of the requirements elicitation methodology with regard to operational nature and hierarchical analysis for complex systems and also, regarding available technologies. This methodology applies Analytic Hierarchy Process (AHP) and Analytic Network Process (ANP) to ensure traceability of planned qualitative and quantitative data from requirements to available te...
متن کاملDesigning of Reactive System using Extended Message Sequence Charts
MSC+ is a generalization of hierarchical message sequence charts (hMSCs) having the capability to specify preemptive features such as watchdogs, generalized coregion and forbidden scenarios. In this paper, we shall illustrate the applications of MSC+ to the specification of reactive systems through the example of an Automatic Teller Machine (ATM). We shall bring out the additional advantage of ...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملFormal Specification of Performance Metrics for Intelligent Systems
There are now so many architectures for intelligent systems: deliberative planning vs. reactive acting, behavioral subsuming vs. hierarchical structuring, machine learning vs. logic reasoning, and symbolic representation vs. procedural knowledge. The arguments from all schools are all based on how natural systems (i.e., biologically inspired, from basic forms of life to high level intelligence)...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007